|
|
|
| Anonymous User (login or join us) | Upload |
)
(18.3 M)512Kb MPEG4
(28.5 M)Ogg Video
(32.4 M)QuickTime
An explanation of the why and how of Generalized Algebraic Data Types in Haskell, using a small language of arithmetic expressions as example.
This movie is part of the collection: Community Video
Producer: Heinrich Apfelmus
Audio/Visual: sound, color
Language: English
Keywords: Haskell; functional programming; GADTs; algebraic data types; phantom types; embedded domain specific languages
Creative Commons license: Attribution-Share Alike 3.0 Germany
| Movie Files | QuickTime | Ogg Video | 512Kb MPEG4 |
| GADTs.mov |
32.4 MB
|
28.5 MB
|
18.3 MB
|
| Image Files | Thumbnail | Animated GIF |
| GADTs.mov |
2.5 KB
|
93.0 KB
|
| Information | Format | Size |
| ExplanationOfGeneralizedAlgebraicDataTypesgadts_files.xml | Metadata | [file] |
| ExplanationOfGeneralizedAlgebraicDataTypesgadts_meta.xml | Metadata | 1.1 KB |